Julius R. Büchi
Büchiオートマトン